Самая большая электронная библиотека рунета. Поиск книг и журналов

Principles of Model Checking

Автор: , Автор:
Размер книги: 4.40 Mb

Principles of Model Checking

Автор: , Автор:
Размер книги: 5.15 Mb

CONCUR 2011 -- Concurrency Theory

Автор: , Автор:
Размер книги: 5.82 Mb

Model-Based Testing of Reactive Systems, Advanced Lectures 2004

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 5.87 Mb

Validation of Stochastic Systems - A Guide to Current Research

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 5.22 Mb

Principles of Model Checking

Автор: , Автор: , Автор:
Категория: Computer science
Размер книги: 17.08 Mb

Model-Based Testing of Reactive Systems: Advanced Lectures

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 5.92 Mb